面向验证的启发技术设计

采用有效的人工智能技术提高验证效率正成为解决验证复杂性的手段之一。本文针对STG（State Transition Graph）中状态枚举数据量大的问题,提出隐含遍历的状态映射策略。并根据状态存储和电路结构特征,重点研究了HASH表状态冲突处理、函数域限定、函数不相交分解和混合搜索等启发技术策略。     

运用分子场论对金属间化合物Nd_2Fe_(17)Hx(0≤x<5)的磁性分析

将二亚点阵分子场理论(MFT)用于渗氢化合物Nd_2Fe_(17)H_x系列,分析其磁性与温度的关系。通过与实验比较,确定分子场系数n_(RR)、n_(RF)和n_(FF),计算居里温度T_c得到了总磁矩M(T)、交换场H_(Nd)(T)和H_(Fe)(T)随温度变化的关系曲线。计算结果表明,对于渗氢化合物Nd_2Fe_(17)H_(X~y)随着氢含量的增加,引起分子场系数n_(FF)明显增大,同时H_(Nd)、H_(Fe)(T)增大,居里温度T_c相应升高。     

复合材料新的热层合理论及其有限元方法研究

本文基子三维各向异性热传导方程和复合材料的一般层合理论,推导出复合材料层合结构瞬态温度场分析的新的热层合理论,并依据此理论建立了简单、实用的有限元格式。数值算例表明：基于热层合理论的有限元方法有较好的精度,同时又比传统的分析方法更简便、有效。     

加热对圆柱绕流影响的热线测量

首次给出了风洞中加热圆柱涡脱落受加热功率控制的热线测量结果。实验表明:当Re>Re_c时,加热使涡脱落频率f下降,甚至完全抑制涡脱落;加热使涡脱落处于临界状态时,其涡脱落频率f_c与来流风速U成正比;加热可影响圆柱绕流的涡脱落模式,使热线功率谱的单峰变为双峰。     

具有有限深度环缝的导电屏上单极天线的辐射特性

单极天线安装在理想导电平面屏上,屏上刻有有限深度的环形缝。将单极天线上电流及缝和自由空间交界处的等效磁流作为未知函数,建立了一对耦合积分方程。从方程得到电流和磁流的数值解。从这些电流和磁流计算了输入阻抗和辐射方向图。     

GF(q)上多元多项式与钟控序列

本文讨论了有限域GF(q)(q=p~α,p≥2为素数,α≥1为正整数)上多元多项式与钟控序列的周期和线性复杂度的关系。当前馈函数g(x_1,x_2,…,x_n)∈GF(q)[x_1,x_2,…x_n]为一次多项式时,我们给出了钟控序列到达最大周期与线性复杂度的充要条件。     

Φ200高超声速风洞调试和流场校测

介绍了新近建成的马赫数为2.5～7.0的Φ200mm 高超声速风洞(Φ200 Hypersonic Wind Tunnel,HWT-200)调试情况及空风洞流场校测结果.调试校测结果表明,风洞的总温、总压、运行时间等参数完全达到了设计要求,顺利实现了宽马赫数范围下的超声速/高超声速运行;本风洞有较大的实验段流场均匀区,各流场的马赫数均方根偏差全部达到GJB(1179-91)的合格指标,一部分达到了先进指标.风洞运行时间不少于20s,是一座参数范围较宽、运行成本较低、维护方便、可用于空气动力学教学试验和基础性科学研究的设备.     

双材料V型切口应力强度因子的加料有限元分析

应用Williams本征函数展开和线性变换求解V型切口端部渐进位移场。将该位移场加入常规等参单元位移模式中,构造双材料V型切口加料单元和过渡单元的位移模式,推导加料有限元方程。建立带V型缺口双材料三点弯曲梁试件和直角界面端平面问题的加料有限元模型,求解有限元方程可直接得到应力强度因子。计算结果与用其他方法得到的数据吻合,验证了方法的正确性,可用于双材料V型切口结构断裂特性计算分析。     

基于双星编队SAR的差分干涉研究

结合系统特点,分析了利用双星编队SAP,进行差分干涉测量的特殊性和优越性,对双星编队SAR的立体基线进行分解,得到了差分干涉的有效基线分量,建立了双星编队SAR的差分干涉模型,并利用冗余图像采用数据融合的方法提高了测量精度,用地形形变量检测的仿真实验验证了模型和方法的正确性和有效性.     

MIMU现场标定方法

针对微机械惯性测量单元的工程应用需求,提出了一种改进的现场标定方法.通过8个位置的选取,降低了配套设备的复杂程度,易于工程实现;由于8个位置的测量信息是6个位置测量信息的4倍,使得利用非线性最小二乘法拟合求取到的校准模型参数精度得以提高.